home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / macros / tip / cref-5.tip < prev    next >
Text File  |  1993-09-15  |  2KB  |  53 lines
  1. % This macro source file is from the four volume series
  2. % "TeX in Practice" by Stephan von Bechtolsheim, published
  3. % 1993 by Springer-Verlag, New York.
  4. % Copyright 1993 Stephan von Bechtolsheim.
  5. % No warranty or liability is assumed.
  6. % This macro may be copied freely if no fees other than
  7. % media cost or shipping charges are charged and as long
  8. % as this copyright and the following source code itself
  9. % is not changed. Please see the series for further information.
  10. %
  11. % Version: 1.0
  12. % Date: May 1, 1993
  13. %
  14. %
  15. % This source code is documented in 19.3.10, p. III-96.
  16. % Original source in file "tokens2.TEX", starting line 1462.
  17. \wlog{L: "cref-5.tip" ["tokens2.TEX," l. 1462, p. III-96]}%
  18. % This file DOES NOT belong to format "texip."
  19. \InputD{gobble.tip}
  20. \InputD{input-at.tip}
  21. \catcode`\@ = 11
  22. \newif\if@LabelOk
  23. \def\CheckLabels{% 
  24.     \@LabelOktrue
  25.     \def\@NewLabel ##1##2##3{%
  26.         \def\@CrefTemp{{##2}{##3}}%
  27.         \if\NameDefinedConditional{@REF-##1}%
  28.             \edef\@@CrefTemp{\NameUse{@REF-##1}}%
  29.             \ifx\@CrefTemp\@@CrefTemp
  30.                 \let\@CrefNext = \relax
  31.             \else
  32.                 \let\@CrefNext = \@StopCheckingLabels
  33.             \fi
  34.         \else
  35.             \let\@CrefNext = \@StopCheckingLabels
  36.         \fi
  37.         \@CrefNext
  38.     }%
  39.     \InputAt{\jobname.lab}%
  40.     \if@LabelOk
  41.         \wlog{\string\CheckLabels: labels are ok.}%
  42.     \else
  43.         \wlog{\string\CheckLabels: labels CHANGED between
  44.             preceding and this run.}%
  45.         \wlog{Reprocess document.}%
  46.     \fi
  47. }
  48. \def\@StopCheckingLabels{% 
  49.     \@LabelOkfalse
  50.     \let\@NewLabel = \GobbleThree
  51. }
  52. \catcode`\@ = 12
  53.